Knihy od autora Grigore Rosu

Zobrazeno 1 – 7 z 7 výsledků

1. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Dana Fisman, Grigore Rosu | Springer Nature Switzerland AG, 2022

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1533 Kč

   Koupit
2. 

   Formal Approaches to Software Testing and Runtime Verification

   Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
3. 

   Formal Techniques for Distributed Systems

   Holger Giese, Grigore Rosu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
4. 

   Institution Morphisms

   Grigore Rosu | Bibliogov, 2013

   
   

   Skladem u dodavatele - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   477 Kč

   Koupit
5. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Dana Fisman, Grigore Rosu | Springer Nature Switzerland AG, 2022

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1533 Kč

   Koupit
6. 

   Algebraic Methodology and Software Technology

   José Meseguer, Grigore Rosu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
7. 

   Model Checking Software

   Owolabi Legunsen, Grigore Rosu | Springer International Publishing AG, 2022

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3313 Kč

   Koupit

Máte na výběr ze mnoha způsobů platby za váš nákup. Zjistěte více